A Formal Model-Driven Approach to Requirements Engineering
نویسندگان
چکیده
Model Driven Architecture (MDA) gains increasing acceptance in software engineering community. MDA promotes system development by gradual transformation of system models expressed in Unified Modelling Language (UML). UML modelling facilitates better understanding of system requirements, but it is yet insufficient for guaranteeing overall correctness of the final product. In this paper we propose an approach to formalizing model-driven development in the B Method. The B Method is a top-down approach to the development of systems correct by construction. We show how the proposed approach facilitates structuring complex system requirements, requirements changes and traceability, integration of emergent requirements and navigation through the overall design space. To validate the proposed approach we conduct a case study – development of Ad hoc On-Demand Distant Vector routing protocol.
منابع مشابه
A Formal Foundation Supporting MDD --- ZOOM Approach
Model-Driven Development (MDD) represents a positive step toward a general model-based approach to software engineering. The Object Management Group (OMG) offers a conceptual framework, called MDA that defines a set of standards in support of MDD. However, MDA lacks a formal foundation. We present a formal foundation supporting MDD based on ZOOM. We examine the benefits that such a formal found...
متن کاملA model-driven process for engineering a toolset for a formal method
We present a model-driven software process suitable to develop a set of integrated tools around a formal method. This process exploits concepts and technologies of the ModelDriven Engineering (MDE) approach, like metamodelling and automatic generation of software artifacts from models. We describe the requirements to fulfill and the development steps of this model-driven process. As a proof-of-...
متن کاملService Engineering: The Sensoria Model Driven Approach
Service engineering and Service-Oriented Architectures (SOAs) have recently been embraced by both industry and research, as they promise high reusability and maintainability, and a flexible environment for future changes in business requirements and workflows. In this paper, we present a model-driven service engineering approach called the SENSORIA Development Approach (SDA). The SENSORIA proje...
متن کاملA Model Driven Approach for Requirements Engineering of Industrial Automation Systems
Model driven requirements engineering (MDRE) is proposed to deal with the ever-increasing complexity of technical systems in the sense of providing requirement specifications as formal models that are correct, complete, consistent, unambiguous and easy to read and easy to maintain. A critical issue in this area is the lack of a universal and standardized modeling language which covers the whole...
متن کاملObject-Oriented Software Engineering - a Use Case Driven Approach
object-oriented software engineering: a use case driven object oriented software engineering a use case driven object-oriented software engineering a use case driven a use-case driven approach to formal service-oriented ccis 17 a use-case driven approach to formal service object oriented software engineering ivar jacobson pdf process-oriented requirement analysis supporting the data a use case ...
متن کامل